Theoretical philosophy - PDFSEARCH.IO - Document Search Engine

Theoretical philosophy
Results: 555

#	Item
41	Mark Addis. Categorical Abstract Model Theory and the Syntax of Scientific Theories There is a problematic discrepancy between current ways of characterising the semantics of mathematical theories and much philosophical Add to Reading List Source URL: www.thebsps.org Language: English - Date: 2016-05-28 03:54:00 Philosophy of science Randomness Critical thinking Philosophy of thermal and statistical physics Physics beyond the Standard Model Quantum mechanics Randomized controlled trial Quantum gravity Underdetermination Entropy Theory Theoretical physics
42	Estimating the Entropy of Natural Scenes from Nearest Neighbors using CUDA Paul Ivanov Vision Science Graduate Program Redwood Center for Theoretical Neuroscience University of California, Berkeley Method Add to Reading List Source URL: pirsquared.org Language: English - Date: 2014-09-09 20:21:37 Information theory Randomness Search algorithms Statistical theory Philosophy of thermal and statistical physics Entropy K-nearest neighbors algorithm Nearest neighbor search
43	Vol. 6, NoISSNonline Add to Reading List Source URL: www.todos-math.org Language: English - Date: 2015-08-16 11:44:01 Philosophy of mathematics Theoretical computer science Mathematics English-language learner Language of mathematics Semiotics Formal language
44	In defense of the epistemic view of quantum states: a toy theory Robert W. Spekkens arXiv:quant-ph/0401052v2 7 OctPerimeter Institute for Theoretical Physics, Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:02 Quantum mechanics Quantum information science Philosophy of science Quantum states Modal logic Ontic Interpretations of quantum mechanics Spekkens Toy Model No-cloning theorem Quantum entanglement Mathematical formulation of quantum mechanics Quantum operation
45	Working with the case studies General question (all case studies) To encourage and enable more critical reflection, we need to bring some theoretical resources into play, from outside day-to-day experience. We need to Add to Reading List Source URL: geocapabilities.org.gridhosted.co.uk Language: English - Date: 2016-06-22 09:24:54 Educational psychology Philosophy of education Curricula Educational practices Curriculum Didactics Inquiry-based learning Media literacy
46	The Second Law of Economics: Energy, Entropy, and the Origins of Wealth Reiner Kummel ¨ Institute for Theoretical Physics and Astrophysics, University of Wurzburg, Add to Reading List Source URL: www.aspo2012.at Language: English - Date: 2012-06-13 09:23:32 State functions Philosophy of thermal and statistical physics Economic growth Entropy Economics Gross domestic product Energy Stock and flow Productivity Steady-state economy Entropy in thermodynamics and information theory
47	PhD position: Complex Systems – Systemic Risk – Dynamical Networks We search for: Excellent creative young scientists with a master degree or equivalent in (theoretical or computational) physics or mathematics. The c Add to Reading List Source URL: www.complex-systems.meduniwien.ac.at Language: English - Date: 2016-07-14 08:35:57 Complex Systems Systemic risk Doctor of Philosophy Systemic
48	Forthcoming in "Prospects for Meaning". It will be the third of a trilogy of volumes with the title "Current Issues in Theoretical Philosophy" edited by Professor Richard Schantz, in cooperation with de Gruyter, Berlin & Add to Reading List Source URL: philosophy.ucr.edu Language: English - Date: 2013-07-19 11:46:25 Philosophy of language Names Meaning Philosophical logic Semantics Proper name Naming and Necessity Empty name Sense and reference David Kaplan Gottlob Frege Reference
49	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
50	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field

UPDATE